Social commitments in time : satisfied or compensated ( preliminary report )
نویسندگان
چکیده
We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characterization of commitments with time that enables a rich modeling of the domain, various forms of reasoning, and run-time and static verification.
منابع مشابه
Social Commitments in Time: Satisfied or Compensated
We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characterization of commitments with time that enables a rich modeling of the domain, various forms of reasoning, and run-time and static verification.
متن کاملA Retrospective on the Reactive Event Calculus and Commitment Modeling Language
Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition [34] in which we proposed a layered architecture for modeling and reasoning about social commitments. We gave emphasis to modularity and to the need of accommodating certain temporal aspects in order for a commitment modeling framework to be flexible enough to adapt to div...
متن کاملBuccal inlay skin onlay: Preliminary report of a one stage technique in cripple hypospadias surgery
Hypospadias failure is a challenging problem requiring much of expertise and perseverance for repair. Most of the time a healthy tissue must be grafted in place of scarred tissue. These techniques are usually accomplished in multiple surgical sessions since primary graft tubularization has been linked with increased complications Patients and method: Eleven patients with mid shaft to distal hy...
متن کاملجامعهشناسی مصرف مواد مخدر
In this article which is a review of sociological ideas and studies of drug abusers in social situation, drug addiction steps (particularly alcohol, heroin and cocaine consumption) are revised and some explanations are made. Also, the role of some sociological ideas in drug addiction is considered in which Anomie Theory reads: "because of such duality, the individuals who are not satisfied with...
متن کاملPreliminary Study on Psychological Conditions of Returning Prisoners of War, at the Time of Their Arrival in Iran
SUMMARY Earlier studies demonstrate psychological consequences of extraordinary physical and emotional hardships experienced by prisoners of war. In August 1990 first groupsor Iranian prisoners of war returned from their captivities in Iraq. We took the opportunity to study their psychological conditions during their stay in temporary placements. This report highlights the result of our findin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009